Vrije Universiteit Amsterdam

Results: 350



#Item
21

A Lambda-Free Higher-Order Recursive Path Order Jasmin Christian Blanchette1,2,3 , Uwe Waldmann3 , and Daniel Wand3,4 1 Vrije Universiteit Amsterdam, the Netherlands Inria Nancy – Grand Est, Villers-lès-Nancy, France

Add to Reading List

Source URL: people.mpi-inf.mpg.de

- Date: 2016-12-19 05:45:29
    22

    The VU Sound Corpus Adding More Fine-grained Annotations to the Freesound Database Emiel van Miltenburg, Benjamin Timmermans, Lora Aroyo The Network Institute Vrije Universiteit Amsterdam {emiel.van.miltenburg, b.timmerm

    Add to Reading List

    Source URL: www.lrec-conf.org

    - Date: 2016-05-13 12:13:56
      23

      Low-bandwidth Semantic Web Onno Valkering ? Vrije Universiteit Amsterdam, the Netherlands

      Add to Reading List

      Source URL: www.victordeboer.com

      - Date: 2016-07-18 09:44:29
        24

        Reasoning with Inconsistent Ontologies ∗ Zhisheng Huang, Frank van Harmelen, and Annette ten Teije Department of Computer Science, Vrije Universiteit Amsterdam, The Netherlands {huang, Frank.van.Harmelen, annette}@cs.v

        Add to Reading List

        Source URL: www.cs.vu.nl

        - Date: 2005-04-26 10:35:49
          25

          A Hybrid PKI-IBC Based Ephemerizer System Srijith K. Nair1 , Mohammad T. Dashti2 , Bruno Crispo1,3 , and Andrew S. Tanenbaum1 1 Dept. Computer Science, Vrije Universiteit, Amsterdam, The Netherlands

          Add to Reading List

          Source URL: www.cs.vu.nl

          - Date: 2007-02-14 06:14:17
            26

            Logical Verification Course Notes Femke van Raamsdonk Vrije Universiteit Amsterdam autumn 2008

            Add to Reading List

            Source URL: www.cs.ru.nl

            - Date: 2011-09-02 08:06:23
              27

              grlc Makes GitHub Taste Like Linked Data APIs Albert Meroño-Peñuela1,2 and Rinke Hoekstra1,3 1 Department of Computer Science, Vrije Universiteit Amsterdam, NL {albert.merono,rinke.hoekstra}@vu.nl

              Add to Reading List

              Source URL: ceur-ws.org

              - Date: 2016-07-08 19:51:42
                28

                Het nut van data mining Dr. Wojtek Kowalczyk, Vrije Universiteit in Amsterdam () Dr. Wojtek Kowalczyk is werkzaam aan de Vrije Universiteit, waar hij onderzoek

                Add to Reading List

                Source URL: www.deconnectie.com

                - Date: 2008-10-16 19:46:35
                  29

                  2016 IEEE Symposium on Security and Privacy Dedup Est Machina: Memory Deduplication as an Advanced Exploitation Vector Erik Bosman Vrije Universiteit Amsterdam

                  Add to Reading List

                  Source URL: www.ieee-security.org

                  - Date: 2016-04-21 14:49:34
                    30

                    Internet-Scale BGP Simulation Maciek Wojciechowski†, Benno Overeinder†, Guillaume Pierre*, and Maarten van Steen* NLnet Labs * Vrije Universiteit Amsterdam

                    Add to Reading List

                    Source URL: nlnetlabs.nl

                    - Date: 2009-06-27 06:07:03
                      UPDATE